Module("refactor",[Imports([(),(),(),()]),Rules([SDefT("rename-entity",[],[],[]),SDefT("rename-type",[],[VarDec("old-name",ConstType(SortNoArgs("ATerm"))),VarDec("new-name",ConstType(SortNoArgs("ATerm")))],[]),SDefT("rename-type",[],[VarDec("old-name",ConstType(SortNoArgs("ATerm"))),VarDec("new-name",ConstType(SortNoArgs("ATerm")))],[]),SDefT("semantic-constraint-issues",[],[],[])])])